201. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
202. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
203. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
204. Foundations of software science and computation structures :
پدیدآورنده : Mikołaj Bojańczyk, Alex Simpson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Computer software.,Software engineering.
رده :
QA76
.
751
.
F67
2019eb
205. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
206. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
207. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
208. Fourth IEEE International Symposium and Forum on Software Engineering Standards ]ISESS'99[: ]Best software practices for the internet age[: Curitiba, Brazil, May 17-21, 1999
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Standards-- Congresses ، Software engineering
رده :
QA
76
.
758
.
S648
1999
209. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
210. From data to models and back :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
211. Frontiers in software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
212. Fundamental Approaches to Software Engineering
پدیدآورنده : \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگرهها ,مهندسی نرم افزار ,زبانهای برنامه نویسی
رده :
QA76
.
758
.
F44
2015
E-Book
,
213. Fundamental approaches to software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
214. Fundamental approaches to software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
215. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
216. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
217. Fundamental approaches to software engineering :
پدیدآورنده : FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software Engineering,Software engineering -- Congresses.,Software engineering.
218. Fundamental approaches to software engineering : Second International Conference, FASE'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-29, 1999 : proceedings
پدیدآورنده : Jean-Pierre Finance )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1577
219. Fundamental approaches to software engineering : first International Conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Egidio Astesiano )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1382
220. Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Maura Cerioli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3442